GAO-13-219R, Follow-up on the Haiti Earned Import Allowance Program

Source URL: otexa.trade.gov

• Americas
• Economy of the Caribbean
• Government
• Haiti
• Republics
• Caribbean
• Government Accountability Office
• Caribbean Basin Trade Partnership Act
• Caribbean Basin Trade and Partnership Act
• HaitiUnited States relations

Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1

Source URL: scungao.github.io

• Computability theory
• Mathematics
• Mathematical logic
• Theory of computation
• Computable number
• Decision problem
• Computable function
• NC
• Continuous function
• First-order logic
• Real closed field
• Limit of a function

DYNAMIC SPECTRUM MANAGEMENT FOR 5G Advanced Dynamic Channel Access Strategy in Spectrum Sharing 5G Systems Siyu Lin, Linghe Kong (corresponding author), Qian Gao, Muhammad Khurram Khan, Zhangdui Zhong, Xi Jin, and Peng

Source URL: wirelesslab.sjtu.edu.cn

• Telecommunications engineering
• Radio resource management
• Information and communications technology
• Technology
• Electrical engineering
• Network performance
• 5G
• Internet of things
• Technology forecasting
• Throughput
• Channel allocation schemes
• Computer network

Interpolants in Nonlinear Theories over the Reals Sicun Gao and Damien Zufferey? MIT Revised on June 17, 2016.

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Interpolation
• Craig interpolation
• Boolean satisfiability problem
• Interval arithmetic
• Local consistency

Scaling Neural Network Acceleration using Coarse-Grained Parallelism Mingyu Gao, Xuan Yang, Jing Pu, Mark Horowitz, Christos Kozyrakis Stanford University

Source URL: platformlab.stanford.edu

• Software engineering
• Computer programming
• Computing
• Programming language comparisons
• Parallel computing
• Computational neuroscience
• Artificial neural networks
• Map
• Foreach loop
• Long short-term memory
• Automatic parallelization

GAO, AUTOMATED VEHICLES: Comprehensive Plan Could Help DOT Address Challenges

Source URL: www.gao.gov

• Transport
• Emerging technologies
• Land transport
• Technology
• Automation
• Robotics
• Car safety
• Driving
• Self-driving car
• Government Accountability Office
• Automated driving system
• Automobile safety

Rollback-Recovery for Middleboxes Justine Sherry∗ Peter Xiang Gao∗ Soumya Basu∗ Aurojit Panda∗ Arvind Krishnamurthy• Christian Maciocco† Maziar Manesh† João Martins/ Sylvia Ratnasamy∗ Luigi Rizzo‡ Scot

Source URL: people.eecs.berkeley.edu

• Computing
• Concurrency control
• Networking hardware
• Information and communications technology
• Concurrent computing
• Computer networking
• Computer network security
• Middlebox
• Monitor
• Packet processing
• Data Plane Development Kit
• Transmission Control Protocol

BigDataBench: A Dwarf-based Big Data and AI Benchmark Suite Wanling Gao http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA

Source URL: prof.ict.ac.cn

• Data management
• Data
• Computing
• Benchmark
• Structured storage
• Database
• NoSQL
• Analytics

How to Use BigDataBench 4.0 Jianfeng Zhan, Chen Zheng, and Wanling Gao http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA

Source URL: prof.ict.ac.cn

• Computing
• Free software
• Data
• Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Apache Hadoop
• Apache Spark
• Apache HBase
• Big data

Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao

Source URL: scungao.github.io